Formal Verification of Simulink...
Paperback
Published 29 Jun 2018
- $143.89
Search for "Naijun Zhan"
6 results
-
-
Formal Verification of Simulink...
Hardback
Published 14 Nov 2016- $151.93
-
$7.38off
Symposium on Real-Time and Hybr...
Paperback
Published 29 Sep 2018Save $7.38
- RRP $62.44
- $55.06
-
Dependable Software Engineering...
Paperback
Published 06 Oct 2016- $84.29
-
$16.97off
Formal Methods Programming and ...
Paperback
Published 10 Nov 2021Save $16.97
- RRP $138.78
- $121.81
-
Symposium on Real-Time and Hybr...
Paperback | German
Published 04 Oct 2018